121. From logic programming to Prolog
پدیدآورنده : Krzysztof R. Apt
کتابخانه: کتابخانه مرکزی پردیس 1 فنی دانشگاه تهران (طهران)
موضوع : Logic programming,Prolog (Computer program language)
رده :
QA
76
.
73
.
A67
1996
122. From logic programming to Prolog
پدیدآورنده : Apt, Krzysztof R.
کتابخانه: (طهران)
موضوع : Logic programming , Prolog )Computer program language(
رده :
QA
76
.
63
.
A67
1997
123. From logic to logic programming
پدیدآورنده : Doets, Kees
کتابخانه: (طهران)
موضوع : ، Logic programming
رده :
QA
76
.
63
.
D64
1994
124. From logic to logic programming /
پدیدآورنده : Kees Doets
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic programming
رده :
QA76
.
63
.
D64
1994
125. From modallogic to deductive databases
پدیدآورنده : / editor Andre Thayse, authors Paul Gochet...
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه تهران (طهران)
موضوع : Artificial intelligence,Logic programming
رده :
Q
335
.
F76
1989
126. Functional and Logic Programming
پدیدآورنده : \ Oleg Kiselyov , Andy King (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Functional programming (Computer science) -- Congresses.,Logic programming -- Congresses.,Functional programming (Computer science),برنامه‌نویسی منطقی -- کنگره‌ها
رده :
QA
76
.
62
.
F8
2016
E-Book
,
127. Functional and constraint logic programming
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Functional programming (Computer science) ; Congresses. ; Constraint programming (Computer science) ; Congresses. ; Logic programming ; Congresses. ;
128. Functional and constraint logic programming :
پدیدآورنده : Josep Silva (ed.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Constraint programming (Computer science), Congresses.,Functional programming (Computer science), Congresses.,Logic programming, Congresses.,Constraint programming (Computer science),Functional programming (Computer science),Logic programming.
رده :
QA76
.
62
129. Functional and constraint logic programming :
پدیدآورنده : Julio Mariño (edition)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic programming, Congresses,Mathematical Logic and Formal Languages
رده :
QA76
.
63
.
W45
2011
130. Functional and constraint logic programming
پدیدآورنده : / Santiago Escobar (ed.)
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Functional programming (Computer science)--Congresses,Constraint programming (Computer science)--Congresses,Logic programming--Congresses,WFLP
رده :
QA
,
76
.
62
,.
W45
,
2009
131. Functional and constraint logic programming
پدیدآورنده : / Santiago Escobar (ed.
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Functional programming (Computer science), Congresses,Constraint programming (Computer science), Congresses,Logic programming, Congresses
رده :
QA76
.
62
.
W45
2010
132. Functional and logic programming
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Functional programming (Computer science) ; Congresses. ; Logic programming ; Congresses. ;
133. Functional and logic programming
پدیدآورنده : Matthias Blume, Naoki Kobayashi, German Vidal. (eds.)
کتابخانه: كتابخانه مركزي و مركز اطلاع رساني دانشگاه شاهد (طهران)
موضوع : Functional programming (Computer science), Congresses,Logic programming, Congresses
رده :
QA
،
76
.
62
،.
F84
،
2010
134. Functional and logic programming
پدیدآورنده : / Masami Hagiya, Philip Wadler (eds.)
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Functional programming (Computer science)--Congresses,Logic programming--Congresses
رده :
QA
,
76
.
62
,.
F84
,
2006
135. Functional and logic programming
پدیدآورنده : / Matthias Blume, Naoki Kobayashi, German Vidal (eds.
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Functional programming (Computer science), Congresses,Logic programming, Congresses
رده :
QA76
.
62
.
F56
2010
136. Functional and logic programming
پدیدآورنده : Tom Schrijvers, Peter Thiemann (eds.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Functional programming (Computer science), Congresses,Logic programming, Congresses
رده :
QA76
.
62
.
F85
2011eb
137. Functional and logic programming : 4th Fuji International Symposium, FLOPS'99, Tsukuba, Japan, November 11-13, 1999 : proceedings
پدیدآورنده : Aart Middeldorp, Taisuke Sato )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Functional programming )Computer science(,Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
1722
138. Functional and logic programming : 6th International Symposium, FLOPS 2002, Aizu, Japan, September 15-17, 2002 : proceedings
پدیدآورنده : Zhenjiang Hu, Mario Rodriguez-Artalejo )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Functional programming )Computer science(,Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
2441
139. Functional and logic programming : 5th International Symposium, FLOPS 2001, Tokyo, Japan, March 7-9, 2001 : proceedings
پدیدآورنده : Herbert Kuchen, Kazunori Ueda )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Functional programming )Computer science(,Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
2024
140. Functional and logic programming : 7th international symposium, FLOPS 2004, Nara, Japan, April 7-9, 2004 : proceedings
پدیدآورنده : Yukiyoshi Kameyama, Peter J. Stuckey )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Functional programming )Computer science(,Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
2998
